Lambda point - PDFSEARCH.IO - Document Search Engine

Lambda point
Results: 124

#	Item
41	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
42	The Arrow Calculus (Technical Report) Sam Lindley Philip Wadler Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2008-07-22 11:55:55 Mathematical logic Fixed-point combinator Arrow Simply typed lambda calculus Function Natural deduction Combinatory logic Theoretical computer science Mathematics Lambda calculus
43	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-05-11 10:19:44 Declarative programming Combinatory logic Fixed-point combinator Continuation-passing style Monad Galois connection Calculus Continuation Theoretical computer science Lambda calculus Software engineering
44	A library for quizzes Christian Queinnec Université Paris 6 — Pierre et Marie Curie LIP6, 4 place Jussieu, 75252 Paris Cedex — France Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Combinatory logic Social psychology Data management Data collection Fixed-point combinator Lambda calculus Quiz Question
45	Errata and Addenda for “On Abstraction and Informatics” [12] Tom Verhoeff October 2011, Augustp.7, below (5) The definition of morphism composition ◦ should read Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-08-31 05:46:37 Computability theory Recursion Functions and mappings Lambda calculus Fixed-point combinator Combinatory logic ML Function Iterated function Mathematics Theoretical computer science Software engineering
46	History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2008-01-14 18:38:50 Lambda calculus Combinatory logic Computability theory Fixed-point combinator Function Haskell Curry Free variables and bound variables Principia Mathematica First-order logic Mathematics Mathematical logic Theoretical computer science
47	Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-07-21 16:26:52 Functional programming Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Fixed-point combinator Valuation Theoretical computer science Declarative programming Mathematics
48	Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2013-04-09 22:34:32 Predicate logic Logic programming Lambda calculus Stable model semantics Atomic formula Fixed-point combinator Term algebra Ground expression Forcing Mathematical logic Mathematics Logic
49	A Methodology for Generating Verified Combinatorial Circuits ∗ Oleg Kiselyov Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-08-11 22:06:49 Lambda calculus Programming language implementation Digital signal processing Functional languages Computer performance Monad Fast Fourier transform FFTW Fixed-point combinator Computing Computer programming Software engineering
50	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Vilhelm Sjöberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematics

UPDATE